Data processing : challenges and tools

Data has grown at incredible rates these last few year, especially with the increasing popularity of social media and video streaming services such as YouTube. This paper looks at some of the challenges associated with the acquisition and processing of data. These challenges defer from the opportunities that can be exploited from the acquired data and are areas that can benefit from scientific research. In particular, the need to process large amounts of data in real-time is becoming a critical need in many areas such as social network trends, website statistics and intrusion detection in large data centres.peer-reviewe

KeY + LARVA = STARVOORS

Over the past decades, various forms of automated verification techniques have been proposed and explored in the literature, mostly falling in one of two categories — static and dynamic verification. On one hand, static verification techniques have the ability to verify properties across all possible executions of a system, but fully automated verification is typically not easy to perform. On the other hand, dynamic verification techniques, such as runtime verification, can only give feedback on single executions of the system, but are easy to automate. However, despite the fact that monitoring is typically easy to automate, its adoption in industry is limited — primarily due to the overheads in the system execution that such monitoring typically induces. In this paper, we explore a novel approach in which we combine the two approaches — using static analysis to prune parts of the specification, thus reducing the overheads for the dynamic verification process. We present our framework STARVOORS, which embodies this approach by combining the static analysis tool KeY and the dynamic verification tool LARVA, and discuss how it has been applied to the Mondex case study — an electronic purse implementation. The results presented here have been accepted for publication in and builds upon our previous results from.peer-reviewe

Device centric monitoring on mobile devices

Mobile devices have become an integral part of our modern society. In fact, the use of these devices has grown to such an extent that nowadays they are finding their way to virtually every household. Various companies have also started to show interest in using such devices to support sales and productivity whilst facilitating the employees’ jobs. Naturally, there are various mobile devices that one can choose from, but with a market share of over 50 percent Android based devices have become a popular choice.peer-reviewe